propositional logic solved problems